12

Dependent Types with Subtyping and Late-Bound Overloading

Year:
2001
Language:
english
File:
PDF, 387 KB
english, 2001
13

Covariance and contravariance: conflict without a cause

Year:
1995
Language:
english
File:
PDF, 1.20 MB
english, 1995
14

Polymorphic Functions with Set-Theoretic Types

Year:
2015
Language:
english
File:
PDF, 1.07 MB
english, 2015
18

Set-theoretic foundation of parametric polymorphism and subtyping

Year:
2011
Language:
english
File:
PDF, 604 KB
english, 2011
25

A meta-language for typed object-oriented languages

Year:
1995
Language:
english
File:
PDF, 2.50 MB
english, 1995
26

Preface

Year:
2010
Language:
english
File:
PDF, 129 KB
english, 2010
27

Behavioural typing for safe ambients

Year:
2002
Language:
english
File:
PDF, 401 KB
english, 2002
28

Unifying overloading and λ-abstraction: λ{}

Year:
1997
Language:
english
File:
PDF, 571 KB
english, 1997
29

An overview of Boxed Ambients: (Abstract)

Year:
2002
Language:
english
File:
PDF, 96 KB
english, 2002
30

Information Flow Security for Boxed Ambients

Year:
2002
Language:
english
File:
PDF, 613 KB
english, 2002
38

Semantic subtyping for the pi-calculus

Year:
2008
Language:
english
File:
PDF, 876 KB
english, 2008
42

Preface

Year:
2009
Language:
english
File:
PDF, 69 KB
english, 2009